complete axiom set

un. 完备公理集